Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>A=Skobelev V$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
1. |
Skobelev V. V. Satisfiability modulo linear arithmetic over a finite ring [Електронний ресурс] / V. V. Skobelev // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2013. - Вип. 2. - С. 95-106. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2013_2_20 Розроблено математичний апарат, який призначено для розв'язання задачі дослідження виконання формул лінійної арифметики над скінченним асоціативним (не обов'язково комутативним) кільцем з операцією ненульового множення. Запропоновано загальні схеми, які призначено для дослідження виконання формул, які представлено системою лінійних рівнянь, або лінійних нерівностей. Досліджено часову складність запропонованих схем у випадках скінченного поля та кільця лишків.
| 2. |
Skobelev V. On systems of polynomial equations over finite rings [Електронний ресурс] / V. Skobelev // Наукові записки НаУКМА. Комп'ютерні науки. - 2012. - Т. 138. - С. 15-19. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2012_138_4
| 3. |
Skobelev V. V. On some relation between sets of mappings of a set in factor-rings [Електронний ресурс] / V. V. Skobelev // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 1. - С. 113-117. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_1_23 Досліджено деякі співвідношення між множинами відображень абстрактної множини у фактор-кільця асоціативно-комутативного кільця. Встановлено умови, які має задовольняти задана множина ідеалів, що надають змогу встановити рівності, які є основою для побудови комбінаторних схем, що призначені для підрахунку об'єктів, які визначено над асоціативно-комутативним кільцем.
| 4. |
Skobelev V. G. Analysis of finite 1-qubit quantum automataunitary operators of which are rotations [Електронний ресурс] / V. G. Skobelev // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 2. - С. 194-201. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_2_38 Досліджено моделі скінченних 1-кубітовіх квантових автоматів у припущенні, що асоційовані унітарні оператори визначають обернення сфери Блоха навколо осі ординат, а вимірювання стану здійснюється лише в останній момент часу. Об'єктом дослідження є моделі МО-1QFA та k QFA (<$Ek~symbol У~2>), які здійснюють перетворення чистого початкового стану автомата, а також їх узагальнення L-QFA та L-k ()БА (<$Ek~symbol У~2>), які здійснюють перетворення змішаного початкового стану автомата (тобто скінченної множини можливих початкових станів, кожний з котрих може мати місце з заданою ймовірністю). Предметом дослідження є мови, які вказані моделі розпізнають або з заданою ймовірністю, або з заданою похибкою. Структуру цих мов охарактеризовано у термінах фактор-множин, які визначено на основі вказаної властивості унітарних операторів. Встановлено критерії, за яких вказані мови є скінченними множинами.
| 5. |
Skobelev V. G. On the structure of the set of all finitely generated semigroups of special unitary operators in the space С2 [Електронний ресурс] / V. G. Skobelev // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 3. - С. 182-186. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_3_37 Досліджено структуру множини усіх скінченно породжуваних комутативних напівгруп спеціальних унітарних операторів (термін "спеціальний" означає, що визначник матриці, яка визначає унітарний оператор, дорівнює одиниці) у 2-вимірному комплексному просторі. Охарактеризовано комутативні скінченно породжувані напівгрупи обертів сфери Блоха навколо координатних вісей. У деталях досліджено структуру множини усіх комутативних напівгруп, які породжуються двома елементами. Виділено деякі комутативні моноїди, які породжуються двома елементами.
| 6. |
Skobelev V. G. On some languages accepted with the given probability by 1-qubit MO-1QFA with binary input alphabet [Електронний ресурс] / V. G. Skobelev // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 4. - С. 225-227. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_4_41
|
|
|